Blar i UiS Brage på forfatter "Gundersen, Daniel"
-
Characterizing Service Availability in the Tampnet Offshore LTE Network
Gundersen, Daniel; Jørgensen, Kaja (Bachelor thesis, 2021)This paper is our Bachelor's thesis as a part of the study program "Datateknologi" at the University of Stavanger, written in the Spring semester of 2021. This thesis has been written in cooperation with Tampnet AS, a ... -
Go-MC - An implementation level model checker for Go
Gundersen, Daniel (Master thesis, 2023)Implementation level model checkers haven proven a good tool for identifying bugs in implementations of distributed algorithms. In recent years many new model checkers have been developed. These often include new state ...